Assessing Mechanistic Reasoning: Supporting Systems Tracing
نویسندگان
چکیده
منابع مشابه
Supporting Formal Reasoning for Safety Critical Systems
Formal methods can signiicantly assist in the design and modelling of safety-critical systems. However, formal methods are frequently criticised as being unusable through being too complex and requiring expert knowledge to use. We assert that to make formal methods usable they must be able to be presented in a manner which is readily interpretable. However, we must ensure that the inferences wh...
متن کاملSupporting Conversational Case-Based Reasoning in an Integrated Reasoning Framework
in an Integrated Reasoning Framework David W. Aha, Leonard A. Breslow, and Tucker Maney Navy Center for Applied Research in Arti cial Intelligence Naval Research Laboratory Washington, DC 20375 [email protected] Abstract Conversational case-based reasoning (CCBR) has been successfully used to assist in case retrieval tasks. However, behavioral limitations of CCBR motivate the search for...
متن کاملSupporting Flexibility. a Case-based Reasoning Approach
This paper presents a case-based reasoning system TA3. We address the exibility of the case-based reasoning process, namely exible retrieval of relevant experiences, by using a novel similarity assessment theory. To exemplify the advantages of such an approach, we have experimentally evaluated the system and compared its performance to the performance of non-exible version of TA3 and to other m...
متن کاملSupporting Manual Mapping Revision using Logical Reasoning
Finding correct semantic correspondences between ontologies is one of the most challenging problems in the area of semantic web technologies. Experiences with benchmarking matching systems revealed that even the manual revision of automatically generated mappings is a very difficult problem because it has to take the semantics of the ontologies as well as interactions between correspondences in...
متن کاملSupporting Object Reuse Through Case-Based Reasoning
$ % $ & ' $ &( ! % ' % $ $ ) ' $ * ! ' & $ + % ,$ %$ $ % ) % $ $ $ ' + % ' $ $ .$ $ $ & $ '$ %$ $ $ ' +
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pre-College Engineering Education Research (J-PEER)
سال: 2018
ISSN: 2157-9288
DOI: 10.7771/2157-9288.1182